A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
xvif: The Powerful Guide You Need
dev.to·22h·
Discuss: DEV
✅Format Validation
HardenedBSD August 2025 Status Report
hardenedbsd.org·7h
🐡OpenBSD
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
How to Use DITA for Structured Technical Documentation
writeatlas.com·1d·
Discuss: Hacker News
📦METS Standards
Some more notes on the “wireless service unit”
boston.conman.org·1d
📻Homebrew Protocols
Ethereum Protocol Update 003 – Improve UX
blog.ethereum.org·1d·
Discuss: Hacker News
🔌Interface Evolution
Salesforce near membrane: Sandbox JavaScript object graphs
opensource.salesforce.com·37m·
Discuss: Hacker News
🛡️WASM Sandboxing
RFC 8594: The Sunset HTTP Header Field
datatracker.ietf.org·2d·
Discuss: Hacker News
📋Protocol Buffers
The Worst API Ever Made
caseymuratori.com·22h
👁️System Observability
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·12h·
Discuss: Hacker News
🔗Archive Combinators
Nothing like a long awaited post
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
Google Summer of Code 2025 Reports: Asynchronous I/O Framework
blog.netbsd.org·11h
🔩Systems Programming
PathOfBuildingCommunity/PathOfBuilding-PoE2
github.com·3h
🏺ZIP Archaeology
Why not REST?
adam.nels.onl·1d
⚡gRPC
Bold Devlog - August Summary - Warnings, LSP & Test
bold-edit.com·19h·
Discuss: r/programming
✅Format Verification
ESP32-S3-AUDIO-Board smart speaker devkit features a dual mic array, LCD/camera connectors, RGB LEDs
cnx-software.com·1d
🔌Single Board PC
The Latest Projects from Cornell’s ECE 4760/5730
hackaday.com·17m
⚡Circuit Design